Instant Pot Chinese Pork Tenderloin